Sadra`s existential proof for reasoning the best creational system
نویسنده
چکیده مقاله:
این مقاله چکیده ندارد
منابع مشابه
Proof theoretic reasoning in System
This paper investigates how the rules of System P might be used in order to construct proofs for default rules which take into account the bounds on the probabilities of the consequents of the defaults. The paper deenes a proof system, shows that it is sound, and then discusses at length the completeness of the system, and the kind of proofs that it can generate.
متن کاملArgumentation-Based Defeasible Reasoning For Existential Rules
Logic based argumentation allows for defeasible reasoning over monotonic logics. In this paper, we introduce DEFT, a tool implementing argumentative defeasible reasoning over existential rules. We explain how DEFT overcomes derivation loss and discuss DEFT’s empirical behavior.
متن کاملProof Theoretic Reasoning in System P
This paper investigates how the rules of System P might be used in order to construct proofs for default rules which take into account the bounds on the probabilities of the consequents of the defaults. The paper de nes a proof system, shows that it is sound, and then discusses at length the completeness of the system, and the kind of proofs that it can generate.
متن کاملA Proof System for Temporal Reasoning with Sequential Information
A new logic, sequence-indexed linear-time temporal logic (SLTL), is obtained semantically from the standard linear-time temporal logic LTL by adding a sequence modal operator which represents a sequence of symbols. By the sequence modal operator of SLTL, we can appropriately express “sequential information” in temporal reasoning. A Gentzen-type sequent calculus for SLTL is introduced, and the c...
متن کاملA Proof System for Reasoning about Probabilistic Concurrent Processes
The need of formally specify and verify the behavior of increasingly complex systems is posing many new challenges, one of them being the difficulty of proving and reasoning over properties of systems that exhibit some kind of probabilistic behavior. Following [1], we consider probabilistic concurrent processes formalized as probabilistic transition systems given as a pair 〈P, { a −→ }a∈L〉, whe...
متن کاملA Reflective Proof System for Reasoning in Contexts
We consider the problem of building an automated proof system for reasoning in contexts. Towards that goal, we first define a language of contextual implications, and give its operational semantics under the form of a natural deduction system using explicit context assertions. We show that this proof system has an equivalent straightforward logic program, which in turn can be reified, i.e. defi...
متن کاملمنابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ذخیره در منابع من قبلا به منابع من ذحیره شده{@ msg_add @}
عنوان ژورنال
دوره 6 شماره 22
صفحات 137- 160
تاریخ انتشار 2010-10
با دنبال کردن یک ژورنال هنگامی که شماره جدید این ژورنال منتشر می شود به شما از طریق ایمیل اطلاع داده می شود.
کلمات کلیدی برای این مقاله ارائه نشده است
میزبانی شده توسط پلتفرم ابری doprax.com
copyright © 2015-2023